Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
131	How Implication Is Understood Author(s): P. N. Johnson-Laird and Joanna Tagart Source: The American Journal of Psychology, Vol. 82, No. 3 (Sep., 1969), pp[removed]Published by: University of Illinois Press Stable URL: h Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 17:20:20 Logical connectives Conditionals Philosophical logic Material conditional Paradoxes of material implication Exclusive or If and only if Entailment Contraposition Logic Propositional calculus Binary operations
132	Believe It or Not: Adding Belief Annotations to Databases Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle, Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Philosophical logic Database theory Relational model Binary operations Data management Tuple Finitary relation Stable model semantics Modal logic Logic Mathematics Science
133	doi:[removed]j.cognition[removed] Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:04 Thought Elementary algebra Transitive relation Mental model Inner model Inference Dodecahedron Binary relation Transitivity Logic Mathematics Science
134	Illusions of consistency in quantified assertions 1 Niklas Kunze1 ([removed]) Sangeet Khemlani2 ([removed]) Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:36 Binary operations Propositional calculus Thought Mental model Assertion Logical disjunction Quantification Illusion If and only if Logic Science Mathematics
135	´e§ Peter Verde Inge De Bal¶ A new approach to classical relevance Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-12-20 10:14:17 Non-classical logic Binary operations Relevance logic Material conditional Vacuous truth Paradoxes of material implication Entailment Relevance Negation Logic Propositional calculus Philosophical logic
136	Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-06 00:24:10 Applied mathematics Iota and Jot Combinatory logic Beta normal form Evaluation strategy Jot Binary lambda calculus Reduction strategy Lambda Lambda calculus Theoretical computer science Mathematical logic
137	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computer programming Software engineering Programming language implementation Runtime verification Formal verification X86 Compiler Pin Disassembler Computing Formal methods Logic in computer science
138	Mem Cogn[removed]:266–279 DOI[removed]s13421[removed]Reasoning from connectives and relations between entities Robert Mackiewicz & Philip N. Johnson-Laird Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:07 Propositional calculus Reasoning Boolean algebra Binary operations Logical connectives Logical biconditional Mental model Validity Inference Logic Science Knowledge
139	Santa Fe Institute Working Paper[removed]Dec 21, 2004 The Evolution of Technology within a Simple Computer Model W. Brian Arthur § † & Wolfgang Polak † Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2014-10-09 22:28:16 Binary operations Computer arithmetic Binary logic Adders Electronic design automation Digital electronics Exclusive or Electronic circuit Logic gate Electronic engineering Electronics Mathematics
140	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics

UPDATE